$\forall$$g$:OMon.
\\[0ex]($\forall$$a$:$\mid$$g$$\mid$. monot($\mid$$g$$\mid$;$x$,$y$.$x$ $<$ $y$;$\lambda$$z$.$a$ $\ast$ $z$)) $\Rightarrow$ \{$\forall$$a$:$\mid$$g$$\mid$. monot($\mid$$g$$\mid$;$x$,$y$.$x$ $\leq$ $y$;$\lambda$$z$.$a$ $\ast$ $z$)\}